An Overview on Operational Semantics in Membrane Computing

Supported Liquid Membrane in Metal Ion Separation: An Overview

Using liquid membrane and, in particular, supported liquid membrane (SLM) is a novel method of separation in comparison to other methods such as adsorption, extraction and ion exchange. SLM is a combination of simultaneous extraction and disposal whose high efciency and capability is proven by many studies. So far, many researchers have utilized SLM in various scientifc...

A rewriting logic framework for operational semantics of membrane systems

Existing results in membrane computing refer mainly to P systems’ characterization of Turing computability, also to some polynomial solutions to NP-complete problems by using an exponential workspace created in a “biological way”. In this paper we define an operational semantics of a basic class of P systems, and give two implementations of the operational semantics using rewriting logic. We pr...

Operational Semantics and Rewriting Logic in Membrane Computing

Structural Operational Semantics of P Systems

The paper formally describes an operational semantics of P systems. We present an abstract syntax of P systems, then the notion of configurations, and we define the sets of inference rules corresponding to the three stages of an evolution step: maximal parallel rewriting, parallel communication, and parallel dissolving. Several results assuring the correctness of each set of inference rules are...

Strategies and Tactics in Operational Semantics

We refer to strategies setting the objective of a computation step rather than to evaluation strategies (as eager or lazy evaluations). We use these strategies to define semantics of a system starting from its elementary operational entities, and then combining them. The tactics of a strategy are given by rewriting steps. While a strategy is at a higher level and defines ”what is the goal” of a...